On Some Doubly Logarithmic Integrals

There have been many works on proving the integrals in the table of integrals compiled by Gradshteyn and Ryzhik, and in this paper we prove some doubly logarithmic integral identities in the Gradshteyn and Ryzhik table

Coopération de procédures de décision : étude et implantation

Stage de DEA. || Le stage s'est fait en collaboration avec Silvio Ranise de l'équipe Cassis.. Rapport de stage.Les procédures de décision se trouvent au coeur de tous les outils modernes de l'analyse et la vérification des programmes car leur utilisation accroît d'une part l'efficacité du système de vérification et décharge d'autre part l'utilisateur de l'interaction, souvent fastidieuse, avec le système. Néanmoins, la plupart des problèmes de vérification font intervenir des mélanges de différentes théories par exemples les listes, les tableaux et les réels. Pour résoudre ce genre de problème il est fort souhaitable de procéder de façon modulaire en faisant coopérer les procédures de décision connues sur les théories élémentaires. Cette direction de recherche a été explorée pour la première fois il y a une vingtaine d'années grâce à des travaux précurseurs concernant la combinaison disjointe menés indépendamment par Shostak d'une part et Nelson-Oppen d'autre part dans le cadre de la vérification des programmes. Nos objectifs dans le cadre du stage concernent d'une part, la reformulation dans un cadre plus uniforme de la combinaison des deux approches Nelson-Oppen et Shostak et d'autre part, la proposition des nouvelles procédures de combinaisons dans différents contextes spécifiques, par exemple la combinaison des théories de Shostak et les théories stable-infinies. Nous abordons par la suite le problème de combinaison non-disjointe en présentant les travaux préliminaires menés par Ringeissen-Tinelli et par Zarba . Nous réalisons également une expérimentation dans le système de vérification haRVey développé au sein de l'équipe Cassis

Combination of convex theories: Modularity, deduction completeness, and explanation

AbstractDecision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories

Applying the Theory of Planned Behavior (TPB) in Investigating Consumption Behavior in Vietnam

This study explored the consumer behavior based on TPB model in Vietnam. The hypotheses are empirically tested using survey data obtained from consumer who purchased green products of household appliances in Hanoi– the capital of Vietnam. During the study, the research team added the “trend” variable which is a characteristic variable in Vietnam. The results of the multiple regression analysis show that attitude, subjective norm, perceived behavioral control, trend have significant and positive effect on household appliances product. The research findings are discussed and implications for government, manufacturing businesses, retail businesses to embrace green consumption behavior Keywords: Consumption Behavior; Vietnam; TPB; Household appliances DOI: 10.7176/EJBM/12-18-16 Publication date:June 30th 202

A Murnaghan-Nakayama rule for Grothendieck polynomials of Grassmannian type

We consider the Grothendieck polynomials appearing in the K-theory of Grassmannians, which are analogs of Schur polynomials. This paper aims to establish a version of the Murnaghan-Nakayama rule for Grothendieck polynomials of the Grassmannian type. This rule allows us to express the product of a Grothendieck polynomial with a power sum symmetric polynomial into a linear combination of other Grothendieck polynomials.Comment: 10 pages, 7 figure

Classification of cow’s behaviors based on 3-DoF accelerations from cow’s movements

Cow’s behavior classification helps people to monitor cow activities, thus the health and physiological periods of cows can be well tracked. To classify the behavior of cows, the data from the 3-axis acceleration sensor mounted on their neck is often used. Data acquisition and preprocessing of sensor data is required in this device. We acquire data from the 3-axis acceleration sensor mounted on the cows’neck and send to the microcontrollter. At the microcontroller, a proposed decision tree is applied in real-time manner to classify four important activities of the cows (standing, lying, feeding, and walking). Finally, the results can be sent to the server through the wireless transmission module. The test results confirm the reliability of the proposed device

ViHOS: Hate Speech Spans Detection for Vietnamese

The rise in hateful and offensive language directed at other users is one of the adverse side effects of the increased use of social networking platforms. This could make it difficult for human moderators to review tagged comments filtered by classification systems. To help address this issue, we present the ViHOS (Vietnamese Hate and Offensive Spans) dataset, the first human-annotated corpus containing 26k spans on 11k comments. We also provide definitions of hateful and offensive spans in Vietnamese comments as well as detailed annotation guidelines. Besides, we conduct experiments with various state-of-the-art models. Specifically, XLM-R$_{Large}$ achieved the best F1-scores in Single span detection and All spans detection, while PhoBERT$_{Large}$ obtained the highest in Multiple spans detection. Finally, our error analysis demonstrates the difficulties in detecting specific types of spans in our data for future research. Disclaimer: This paper contains real comments that could be considered profane, offensive, or abusive.Comment: EACL 202